/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package edu.yonsei.iwb.srf.classifier;

import edu.yonsei.iwb.sdt.refinement.generator.*;
import com.hp.hpl.jena.rdf.model.ResIterator;
import com.hp.hpl.jena.rdf.model.Resource;
import com.hp.hpl.jena.vocabulary.RDF;
import com.hp.hpl.jena.vocabulary.RDFS;
import java.util.Vector;
import edu.yonsei.iwb.sdt.datastructure.DecomposeCandidateSet;
import edu.yonsei.iwb.sdt.datastructure.TargetInstance;
import edu.yonsei.iwb.sdt.datastructure.tree.BranchingType;
import edu.yonsei.iwb.sdt.refinement.ConceptConstructorRefinement;
import edu.yonsei.iwb.sdt.refinement.DLConstructors;
import edu.yonsei.iwb.sdt.refinement.Refinement;
import edu.yonsei.iwb.ts.TSSearch;
import java.io.IOException;
import java.util.ArrayList;

/**
 *
 * @author JDK
 */
public class ConceptConstructorRefinementClassifier {
            

    /**
     * 다수의 클래스로 한번에 분할
     *
     * @param classList 한번에 분할되는 클래스 집합
     * @return
     */
    public Vector<String> satisfiedSet(ArrayList<String> classList) throws IOException {        
        
        Vector<String> result = new Vector();
        return result;
    }

    
    public Vector<String> satisfiedSet(Vector<String> insset, String classname) throws IOException {        
        ArrayList<String> satisSet = TSSearch.listSubjectResource(RDF.type.getURI(), classname);
        Vector<String> result = new Vector();
        for (int i = 0; i < insset.size(); i++) {
            String ins = insset.get(i);
            if(satisSet.contains(ins)){
                result.add(ins);
            }            
        }        
        return result;
    }
}
